Tootfinder

Density of group languages in shift spaces
Val\'erie Berth\'e, Herman Goulet-Ouellet, Carl-Fredrik Nyberg Brodda, Dominique Perrin, Karl Petersen
https://arxiv.org/abs/2403.17892

Density of group languages in shift spaces
We study the density of group languages (i.e. rational languages recognized by morphisms onto finite groups) inside shift spaces. The density of a rational language can be understood as the frequency of some "pattern" in the shift space, for example a pattern like "words with an even number of a given letter." In this paper, we handle density of group languages via ergodicity of skew products between the shift space and the recognizing group. We consider both the cases of shifts of finite type …

This https://arxiv.org/abs/2302.11887 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

A Curry-Howard Correspondence for Linear, Reversible Computation
In this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how ensuring syntactical exhaustivity and non-overlapping of clauses is enough to ensure reversibility. The language allows to represent any Primitive Recursive Function. We then give a Curry-Howard correspondence with the logic $μ$MALL: linear logic extended with least fixed points allowing inductive statements. The cr…

This https://arxiv.org/abs/2306.08420 has been replaced.
link: https://scholar.google.com/scholar?q=a

Combinatorial generation via permutation languages. VI. Binary trees
In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding bina…